Computer-assisted Proofs and Self-validating Methods
نویسنده
چکیده
10.
منابع مشابه
Numerical and Algebraic Algorithms and Computer - assisted Proofs — Dagstuhl Seminar
The common goal of self-validating methods and computer algebra methods is to solve mathematical problems with complete rigor and with the aid of computers. The seminar focused on several aspects of such methods for computer-assisted proofs.
متن کاملComparison of Three Instructional Methods for Drug Calculation Skill in Nursing Critical Care Courses: Lecturing, Problem Solving, and Computer-Assisted Self-Learning
Introduction: Due to development of educational systems and importance of education in the nursing profession, the necessity of using appropriate instructional methods for new theoretical and practical skills in students is clear. The purpose of this study is comparing the effects of three methods lecture, problem solving, and computer-assisted self learning on the drug calculation skill on thi...
متن کاملComputer-assisted Proofs and Symbolic Computations
We discuss some main points of computer-assisted proofs based on reliable numerical computations. Such so-called self-validating numerical methods in combination with exact symbolic manipulations result in very powerful mathematical software tools. These tools allow proving mathematical statements (existence of a fixed point, of a solution of an ODE, of a zero of a continuous function, of a glo...
متن کاملDetermining the effect of computer-assisted Cognitive Rehabilitation (CR) on improving of executive functions of students with attention deficit/hyperactivity disorder.
Children with attention deficit/hyperactivity disorder (ADHD) in executive functions such as kinds of attention, response inhibition and response rate cope with problems which need therapeutic and educational plans to improve. From this kind of methods, cognitive rehabilitation is a new approach, which its effectiveness has studied in various cases. The aim of this study is to find out the eff...
متن کاملOur seminars on computer-assisted proofs are intended to assemble a diverse group of scientists working on differing aspects of computer-assisted proofs and verification
A major representative of computer-assisted proofs are so-called verification methods. These are algorithms verifying the correctness of the assumptions of mathematical theorems with rigor. These methods use solely floating-point arithmetic estimating all numerical errors. Therefore these methods are particularly fast. Besides the conference, a 163-page review article on verification methods by...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2005